54cfafaa0913b08de2303c082cd1c39bc4903ea7,core/typesystemEngine/source/jetbrains/mps/newTypesystem/state/Inequalities.java,Inequalities,getInequalityGroups,#Set#,188

Before Change


      InequalityBlock inequality = (InequalityBlock) block;
      inequality.expand(myState);
      List<SNode> variables = TypesUtil.getVariables(inequality.getRightNode());
      variables.addAll(TypesUtil.getVariables(inequality.getLeftNode()));
      if (variables.size() == 0) {
        continue;
      }

After Change


      InequalityBlock inequality = (InequalityBlock) block;

      List<SNode> variables = TypesUtil.getVariables(myState.expand(inequality.getRightNode()));
      variables.addAll(TypesUtil.getVariables(myState.expand(inequality.getLeftNode())));
      if (variables.size() == 0) {
        continue;
      }